- рассмотрим теперь доказательства
- Рассмотрим теперь доказательства-- Evidence in support of this proposal is now considered.
Русско-английский научно-технический словарь переводчика. 2013.
Русско-английский научно-технический словарь переводчика. 2013.
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… … Математическая энциклопедия
АНАЛИТИЧЕСКАЯ ГЕОМЕТРИЯ — раздел геометрии, который исследует простейшие геометрические объекты средствами элементарной алгебры на основе метода координат. Создание аналитической геометрии обычно приписывают Р.Декарту, изложившему ее основы в последней главе своего… … Энциклопедия Кольера
Платон — Платон, афинянин, сын Аристона и Периктионы (или Потоны), которая вела свой род от Солона. А именно у Солона был брат Дропид, у того – сын Критий, у того – Каллесхр, у того – Критий (из Тридцати тиранов) и Главкон, у Главкона – Хармид и… … О жизни, учениях и изречениях знаменитых философов
Ричард Никсон — (Richard Nixon) Биография Никсона, карьера и достижения Никсона Биография Никсона, карьера и достижения Никсона, Уотергейтский скандал Содержание Содержание Биография История Визит Никсона в Новосибирск в июле августе 1959 года Уотергейтский… … Энциклопедия инвестора
Семейство сосновые (Pinaceae) — Трудно назвать такое семейство даже среди цветковых растений, которое по территории, им освоенной, и по накапливаемой биомассе могло бы соперничать с сосновыми. В своем распространении это обширное семейство, насчитывающее 10 или… … Биологическая энциклопедия
Парадокс Эйнштейна — Подольского — Розена — Парадокс Эйнштейна Подольского Розена (ЭПР парадокс) попытка указания на неполноту квантовой механики с помощью мысленного эксперимента, заключающегося в измерении параметров микрообъекта косвенным образом, не оказывая на этот… … Википедия
Парадокс Эйнштейна — Парадокс Эйнштейна Подольского Розена (ЭПР парадокс) попытка указания на неполноту квантовой механики с помощью мысленного эксперимента, заключающегося в измерении параметров микрообъекта косвенным образом, не оказывая на этот… … Википедия
Медицинская модель психотерапии (medical model of psychotherapy) — Традиционная биомедицинская модель соматического и психиатрического заболевания постулирует, что причину болезни можно, в конечном счете, свести к действию одного или более внутренних патогенных факторов, вызывающих появление обособленных… … Психологическая энциклопедия
Невозможное ожерелье — Парадокс Эйнштейна Подольского Розена (ЭПР парадокс) попытка указания на неполноту квантовой механики с помощью мысленного эксперимента, заключающегося в измерении параметров микрообъекта косвенным образом, не оказывая на этот объект… … Википедия